Minor formatting changes to the documentation