minor formatting changes, as usual