Fix the display of some code in the documentation.