Another minor formatting change...