Fix the way the web page displays code in this document