On the regularity of the Green–Naghdi equations – CORRIGENDUM. (10th October 2020)