diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java
index 28a8ea89..3c217ce2 100644
--- a/prism/src/parser/ast/ExpressionTemporal.java
+++ b/prism/src/parser/ast/ExpressionTemporal.java
@@ -223,14 +223,7 @@ public class ExpressionTemporal extends Expression
 			s += operand1 + " ";
 		s += opSymbols[op];
 
-		if (op == R_I && bounds.hasDefaultBound()) {
-			TemporalOperatorBound bound = bounds.getDefaultBound();
-			if (!bound.hasLowerBound() && bound.hasUpperBound()) {
-				s += "<" + (bound.upperBoundIsStrict() ? "" : "=") + bound.getUpperBound();
-			} else {
-				s+=bound.toString();
-			}
-		} else if (bounds.hasBounds()) {
+		if (bounds.hasBounds()) {
 			s+=bounds.toString();
 		}
 		if (operand2 != null)