Fix a docs typo.