Misc. formatting tweaks.