#152, fix typo in the manual