a few more minor edits