minor formatting changes in docs