typo in comment
minor typo/style changes in the manual