pushing minor formatting changes