various minor text edits