Corrected a mistake in the documentation