formatting of tracebacks