trivial formatting changes