Correction of a typographical error in the text