Some minor formatting changes