diff --git a/src/V3EmitMkJson.cpp b/src/V3EmitMkJson.cpp
index 9877a510a..1ecaff4e2 100644
--- a/src/V3EmitMkJson.cpp
+++ b/src/V3EmitMkJson.cpp
@@ -145,9 +145,6 @@ class V3EmitMkJsonEmitter final {
         const std::unique_ptr<std::ofstream> of{
             V3File::new_ofstream(makeDir + "/" + v3Global.opt.prefix() + ".json")};
 
-        const std::string trace
-            = v3Global.opt.trace() ? (v3Global.opt.traceFormat().vcd() ? "vcd" : "fst") : "off";
-
         std::vector<string> classesFast;
         std::vector<string> classesSlow;
         std::vector<string> supportFast;
@@ -206,7 +203,10 @@ class V3EmitMkJsonEmitter final {
                               .put("coverage", v3Global.opt.coverage())
                               .put("use_timing", v3Global.usesTiming())
                               .put("threads", v3Global.opt.threads())
-                              .put("trace", trace)
+                              .put("trace", v3Global.opt.trace())
+                              .put("trace_fst", v3Global.opt.traceFormat().fst())
+                              .put("trace_saif", v3Global.opt.traceFormat().saif())
+                              .put("trace_vcd", v3Global.opt.traceFormat().vcd())
                               .end()
                               .begin("sources")
                               .putList("global", global)