tiny formatting tweak