Documentation/user-manual.txt: fix typo