Update tracetools.py