minor formatting tweak