Tiny formatting tweak