user manual: fix typos