Traceback converted into unicode before formatting