style tweaks and minor text edits