Fixed a mistake in the manual.