Updated example of HTML traceback