Fixed a mistake in docs.