typo

Correction of a small typo