minor text edits.