diff --git a/AlgebraicDataflowArchitectureModel/models/JumpGame.model b/AlgebraicDataflowArchitectureModel/models/JumpGame.model
index baf60d2..83f3e38 100644
--- a/AlgebraicDataflowArchitectureModel/models/JumpGame.model
+++ b/AlgebraicDataflowArchitectureModel/models/JumpGame.model
@@ -54,7 +54,7 @@
 channel C5 {
 	in position(p, update2(p2, g2)) == p2
 	in ground(g, update2(p2, g2)) == g2
-	out onground(o:Bool, update2(p2, g2)) == and(eq(g2, true), le(snd(p), 0.0))
+	out onground(o:Bool, update2(p2, g2)) == and(eq(g2, true), le(snd(p2), 0.0))
 }
 
 channel C6 {