Minor formatting fixes to the documentation.