Fix a typo in the documentation.