tiny formatting tweaks