just a few minor edits...