fixing a mistake in the documentation