Fix a doc typo