more minor edits...