correction of a typo