Proofreading

Misc. trivial formatting fixes. No semantic changes.