diff --git a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
index 6e6315e43a0d62b23e3c6debdf74989fd1dc8843..0f5546fe39373a5d3d12fc5e661fe81349950cef 100644
--- a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
+++ b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
@@ -188,7 +188,7 @@ public class LTLFormulaPrinter extends DepthFirstAdapter {
 				}
 				tlaPrinter.moduleStringAppend("\\neg(ENABLED(");
 				tlaPrinter.moduleStringAppend(action1.getOperation().getText());
-				tlaPrinter.moduleStringAppend("), ENABLED(");
+				tlaPrinter.moduleStringAppend(") /\\ ENABLED(");
 				AOpActions action2 = (AOpActions) copy.get(j);
 				tlaPrinter.moduleStringAppend(action2.getOperation().getText());
 				tlaPrinter.moduleStringAppend("))");
diff --git a/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java b/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
index 58252b5f2842c9e070e27a4831aa371180f3bdf9..35465bdd68353f5f8cdc87a62c4eb9e5eb4d89e6 100644
--- a/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
+++ b/src/test/java/de/tlc4b/ltl/LtlFormulaTest.java
@@ -182,7 +182,7 @@ public class LtlFormulaTest {
 		String machine = "MACHINE test\n"
 				+ "OPERATIONS foo = skip; bar = skip; bazz = skip\n"
 				+ "END";
-	    String expected = "\\neg(ENABLED(foo),ENABLED(bar))/\\ \\neg(ENABLED(foo),ENABLED(bazz))/\\ \\neg(ENABLED(bar),ENABLED(bazz))";
+	    String expected = "\\neg(ENABLED(foo) /\\ ENABLED(bar)) /\\ \\neg(ENABLED(foo)  /\\ ENABLED(bazz)) /\\ \\neg(ENABLED(bar) /\\ ENABLED(bazz))";
 		compareLTLFormula(expected, machine, "deterministic(foo,bar,bazz)");
 	}