Minor bugfix in trace.py