Minor formatting changes to docs