a few minor edits