rewording and typo fixes in a few places