Update tracetodot.py