Fixed a formulation mistake in Documentation/user-manual.txt