Changed the < and > in the <pre> tags to their HTML code.