Formatting fixes to the documentation.