Trivial formatting changes.