Fix a simple documentation typo