Minor formatting changes again