Various copy edits (punctuation, spelling, etc.)

Some of these changes are straightforward spelling corrections. while others are judgment calls. So if you disagree with any of them, just let me know.