Fix a documentation typo