Trivial formatting change.