diff --git a/source/DAGView.cs b/source/DAGView.cs
index a75da67..ebf073f 100644
--- a/source/DAGView.cs
+++ b/source/DAGView.cs
@@ -507,10 +507,6 @@ private void pathExplanationButton_Click(object sender, EventArgs e)
                         highlightPath(cyclePath);
                         _z3AxiomProfiler.UpdateSync(cyclePath);
                         toRemove = cyclePath.GetInstnationsUnusedInGeneralization();
-                        if (cyclePath.NeedsIds())
-                        {
-                            _z3AxiomProfiler.EnableTermIds();
-                        }
                     }
                     else
                     {
diff --git a/source/QuantifierModel/InstantiationPath.cs b/source/QuantifierModel/InstantiationPath.cs
index 166d18a..60a01ba 100644
--- a/source/QuantifierModel/InstantiationPath.cs
+++ b/source/QuantifierModel/InstantiationPath.cs
@@ -561,10 +561,6 @@ private void printCycleInfo(InfoPanelContent content, PrettyPrintFormat format)
             if (!hasCycle()) return;
             var cycle = cycleDetector.getCycleQuantifiers();
             var generalizationState = cycleDetector.getGeneralization();
-            if (generalizationState.NeedsIds)
-            {
-                format.showTermId = true;
-            }
 
             if (generalizationState.TrueLoop)
             {