more minor formatting changes