Trivial formatting fix