Manual.md: fix typo.