Tiny formatting tweaks