Another minor formatting change.