Make some doc formatting changes