Trivial formatting change