diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index e75c6a735b2c7efc4a5d2012446d831a451b465e..8d7a8be69d4ac60427b52c53683611aa51f79819 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -161,7 +161,7 @@ public class TestUtil {
 
 	public static String getAstStringofBExpressionString(final String expr) throws BCompoundException {
 		final BParser parser = new BParser("testcase");
-		final Start startNode = parser.parse("#FORMULA " + expr, false);
+		final Start startNode = parser.parseFormula(expr);
 		return getTreeAsString(startNode);
 	}