Trivial formatting fixes