diff --git a/prism/src/parser/BooleanUtils.java b/prism/src/parser/BooleanUtils.java
index d70b35af..8d2109f2 100644
--- a/prism/src/parser/BooleanUtils.java
+++ b/prism/src/parser/BooleanUtils.java
@@ -309,8 +309,8 @@ public class BooleanUtils
 			}
 			return cnf;
 		}
-		// Or
-		if (Expression.isOr(expr)) {
+		// And
+		if (Expression.isAnd(expr)) {
 			Expression a = ((ExpressionBinaryOp) expr).getOperand1();
 			Expression b = ((ExpressionBinaryOp) expr).getOperand2();
 			List<List<Expression>> aCnf = doConversionToCNF(a);
diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 4ce7050f..a03d0781 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1424,30 +1424,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	 */
 	public ModulesFile importPepaString(String s) throws PrismException, PrismLangException
 	{
-		File pepaFile = null;
-		String modelString;
-
-		// create temporary file containing pepa model
-		try {
-			pepaFile = File.createTempFile("tempPepa" + System.currentTimeMillis(), ".pepa");
-			FileWriter write = new FileWriter(pepaFile);
-			write.write(s);
-			write.close();
-		} catch (IOException e) {
-			if (pepaFile != null)
-				pepaFile.delete();
-			throw new PrismException("Couldn't create temporary file for PEPA conversion");
-		}
-
-		// compile pepa file to string
-		try {
-			modelString = pepa.compiler.Main.compile("" + pepaFile);
-		} catch (pepa.compiler.InternalError e) {
-			if (pepaFile != null)
-				pepaFile.delete();
-			throw new PrismException("Could not import PEPA file:\n" + e.getMessage());
-		}
-
+		String prismModelString  = new PrismLanguageImporter().convert("pepa", s);
 		// parse string as prism model and return
 		return parseModelString(modelString);
 	}