Just a minor formatting change.