More miscellaneous formatting tweaks