minor doc formatting changes