Fix a small documentation typo