more minor text edits