minor formatting changes, I think