Even more miscellaneous formatting tweaks