minor tweaks to wording, formatting