Correction of a typo.