Fixed the trace semantics