Fixed semantics in traceType