Fix a spelling issue in the documentation.