Trivial formatting.