Trivial formatting improvements