diff --git a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
index 50c62a5f9d4f8bfc855c2de57fa81b0b4b776ab3..1dd74348d260e781b2809da7d7265b338d5b296d 100644
--- a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
@@ -29,7 +29,7 @@ public class OperationsTest {
 
 		// parse pretty print result
 		final BParser parser = new BParser("testcase");
-		final Start ppStart = parser.parse(pp.getPrettyPrint(), false);
+		final Start ppStart = parser.parseMachine(pp.getPrettyPrint());
 		String ppTree = TestUtil.getTreeAsString(ppStart);
 		
 		// comparing result with pretty print
@@ -40,8 +40,7 @@ public class OperationsTest {
 		File expectedMachine = new File("src/test/resources/prettyprint/OperationsTest/OperationsTest.mch");
 
 		final BParser expectedParser = new BParser("testcase");
-		final Start expectedStart = expectedParser.parseFile(expectedMachine,
-				false);
+		final Start expectedStart = expectedParser.parseFile(expectedMachine);
 
 		String expectedTree = TestUtil.getTreeAsString(expectedStart);
 
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 8d7a8be69d4ac60427b52c53683611aa51f79819..f3f4186f2ef0c51dd2094079f5bc7b7962068966 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -56,7 +56,7 @@ public class TestUtil {
 		start.apply(pp);
 		System.out.println(pp.getPrettyPrint());
 		final BParser parser = new BParser("testcase");
-		final Start ppStart = parser.parse(pp.getPrettyPrint(), false);
+		final Start ppStart = parser.parseMachine(pp.getPrettyPrint());
 
 		String result = getTreeAsString(start);
 		String ppResult = getTreeAsString(ppStart);
@@ -124,7 +124,7 @@ public class TestUtil {
 		pp.setRenaming(new SuffixIdentifierRenaming());
 		start.apply(pp);
 		final BParser parser = new BParser("testcase");
-		parser.parse(pp.getPrettyPrint(), false);
+		parser.parseMachine(pp.getPrettyPrint());
 	}
 
 	public static TestTypeChecker typeCheckString(String moduleString) throws TLA2BException {
@@ -155,7 +155,7 @@ public class TestUtil {
 
 	public static String getAstStringofBMachineString(final String testMachine) throws BCompoundException {
 		final BParser parser = new BParser("testcase");
-		final Start startNode = parser.parse(testMachine, false);
+		final Start startNode = parser.parseMachine(testMachine);
 		return getTreeAsString(startNode);
 	}