Code

user-manual: fix typolets.