fix typo in manual
Merge commit 'e45f93f85f22c73025830a6bd0b2807263068996'

See #87