Trivial formatting changes