various formatting and wording changes, mostly minor