fixed typo in the users' manual.