Fix a docs typo