Small typo in the documentation