fix for JS TraceSequence