Fixing a mistake in the documentation.