manual: fix typo, #254.