diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index c96bb8b6..3e32ef4f 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -413,7 +413,7 @@ public class Property extends ASTElement
 					if (!rationalRes.isNaN())
 						throw new PrismException("Wrong result (expected NaN, got " + rationalRes + ")");
 				}
-				// For integers/rationals/doubles, parse with BigRational if it's an integer
+				// For integers/rationals/doubles, parse with BigRational
 				else {
 					rationalExp = new BigRational(strExpected);
 				}