diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc
index 8cf15a4a9..e2d6b92a0 100644
--- a/src/ltlvisit/tostring.cc
+++ b/src/ltlvisit/tostring.cc
@@ -593,10 +593,10 @@ namespace spot
 	      break;
 	    }
 
-	  if (need_parent || full_parent_)
+	  if (need_parent)
 	    openp();
 	  uo->child()->accept(*this);
-	  if (need_parent || full_parent_)
+	  if (need_parent)
 	    closep();
 
 	  switch (uo->op())