Trivial formatting tweaks