Fix a mistake in the API docs.