minor formatting changes...