Changed HTML traceback formatting.