Corrected a mistake in the documentation.