Fix a typo in documentation.