diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index f2c91e833..0d1dffc50 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -543,9 +543,12 @@ static int checked_main()
                     << "model,formula,walltimems,memused,type,"
                     << "states,transitions,sccs\n";
           std::cout << '#'
-                    << split_filename(mc_options.model) << ','
-                    << mc_options.formula << ','
-                    << *walltime << ',' << memused << ','
+                    << split_filename(mc_options.model) << ',';
+
+          if (mc_options.formula != nullptr)
+            std::cout << mc_options.formula;
+
+          std::cout << ',' << *walltime << ',' << memused << ','
                     << rval << ',' << *states << ',' << *trans << ','
                     << *sccs << '\n';
         }