misc changes, mostly typography