More silly formatting tweaks.