diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 84e33e73..053dcf2a 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -312,7 +312,8 @@ public class NondetModelChecker extends StateModelChecker
 		if (expr.isSimplePathFormula()) {
 			return checkProbPathFormulaSimple(expr, qual, min);
 		} else {
-			return checkProbPathFormulaLTL(expr, qual, min);
+			//return checkProbPathFormulaLTL(expr, qual, min);
+			throw new PrismException("LTL-style path formulas are not yet supported");
 		}
 	}
 
diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 603dd91d..f90deaf0 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -512,7 +512,7 @@ public class ProbModelChecker extends NonProbModelChecker
 		if (expr.isSimplePathFormula()) {
 			return checkProbPathFormulaSimple(expr, qual);
 		} else {
-			throw new PrismException("LTL-style path formulas are not supported");
+			throw new PrismException("LTL-style path formulas are not yet supported");
 		}
 	}