Manual.md: some minor fixes