minor manual typo correction