Formatting cleanup in the user guide