Typo fix in the documentation.