diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java
index a23955cd..224811fa 100644
--- a/prism/src/parser/PrismParser.java
+++ b/prism/src/parser/PrismParser.java
@@ -2189,7 +2189,7 @@ public class PrismParser implements PrismParserConstants {
                                                 actualOperand2.setPosition(((ExpressionFunc)tb.uBound).getOperand(0));
                                                 PathExpressionExpr pe2 = new PathExpressionExpr(actualOperand2);
                                                 pe2.setPosition(actualOperand2);
-                                                pe.setOperand2(new PathExpressionExpr(((ExpressionFunc)tb.uBound).getOperand(0)));
+                                                pe.setOperand2(pe2);
                                                 pe.setPosition(begin, getToken(0));
                                                 {if (true) return pe;}
                                         }
@@ -2205,7 +2205,7 @@ public class PrismParser implements PrismParserConstants {
                                                 actualOperand2.setPosition(((ExpressionFunc)tb.uBound).getOperand(0));
                                                 PathExpressionExpr pe2 = new PathExpressionExpr(actualOperand2);
                                                 pe2.setPosition(actualOperand2);
-                                                pe.setOperand2(new PathExpressionExpr(((ExpressionFunc)tb.lBound).getOperand(0)));
+                                                pe.setOperand2(pe2);
                                                 pe.setPosition(begin, getToken(0));
                                                 {if (true) return pe;}
                                         }
diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj
index 85f05f89..70d4a3cc 100644
--- a/prism/src/parser/PrismParser.jj
+++ b/prism/src/parser/PrismParser.jj
@@ -1376,7 +1376,7 @@ PathExpression PathExpressionTemporal() :
 						actualOperand2.setPosition(((ExpressionFunc)tb.uBound).getOperand(0));
 						PathExpressionExpr pe2 = new PathExpressionExpr(actualOperand2);
 						pe2.setPosition(actualOperand2);
-						pe.setOperand2(new PathExpressionExpr(((ExpressionFunc)tb.uBound).getOperand(0)));
+						pe.setOperand2(pe2);
 						pe.setPosition(begin, getToken(0));
 						return pe;
 					}
@@ -1392,7 +1392,7 @@ PathExpression PathExpressionTemporal() :
 						actualOperand2.setPosition(((ExpressionFunc)tb.uBound).getOperand(0));
 						PathExpressionExpr pe2 = new PathExpressionExpr(actualOperand2);
 						pe2.setPosition(actualOperand2);
-						pe.setOperand2(new PathExpressionExpr(((ExpressionFunc)tb.lBound).getOperand(0)));
+						pe.setOperand2(pe2);
 						pe.setPosition(begin, getToken(0));
 						return pe;
 					}
diff --git a/prism/src/parser/PrismParserTokenManager.java b/prism/src/parser/PrismParserTokenManager.java
index 4b25ec0d..36da6d75 100644
--- a/prism/src/parser/PrismParserTokenManager.java
+++ b/prism/src/parser/PrismParserTokenManager.java
@@ -1,5 +1,9 @@
 /* Generated By:JavaCC: Do not edit this line. PrismParserTokenManager.java */
 package parser;
+import java.io.*;
+import java.util.ArrayList;
+import parser.ast.*;
+import prism.PrismLangException;
 
 public class PrismParserTokenManager implements PrismParserConstants
 {