Use 'pre' tag, until we can properly format the traceback