diff --git a/prism/src/pta/DigitalClocks.java b/prism/src/pta/DigitalClocks.java
index 6ffd2ce2..69149f14 100644
--- a/prism/src/pta/DigitalClocks.java
+++ b/prism/src/pta/DigitalClocks.java
@@ -383,7 +383,8 @@ public class DigitalClocks
 				public Object visit(ExpressionTemporal e) throws PrismLangException
 				{
 					// Push (new) time bound into target
-					e.getBounds().getTimeBoundForContinuousTime().setUpperBound(null);
+					// TODO (joachim): make more robust
+					e.getBounds().bounds.remove(e.getBounds().getTimeBoundForContinuousTime());
 					Expression targetNew = Expression.And(e.getOperand2().deepCopy(), boundNew);
 					e.setOperand2(targetNew);
 					return e;