Very minor formatting change.