Another minor formatting change