Very minor formatting tweak