more minor edits