Small typo in the documentation.