One more minor formatting tweak