diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index c6985563..cd646759 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -199,8 +199,7 @@ public class Property extends ASTElement
 				return true;
 			}
 			throw new PrismException("Unexpected error: " + errMsg);
-		}
-		if (strExpected.startsWith("Error")) {
+		} else if (strExpected.startsWith("Error")) {
 			throw new PrismException("Was expecting an error");
 		}