fix trace sequence parsing in JSON