some minor formatting changes