minor typo-fix in manual