Really minor formatting change