minor mods, mostly formatting, but some wording changed.