a few textual and formatting tweaks