bug fix in tracepoints.h