Fix a small mistake in docs.