Small formatting tweak