Fix a typo in documentation