Fix a doc typo.