Correction of a typographical error