diff --git a/AlgebraicDataflowArchitectureModel/models/Game.model b/AlgebraicDataflowArchitectureModel/models/Game.model
index 4ad4a36..bc6ae7b 100644
--- a/AlgebraicDataflowArchitectureModel/models/Game.model
+++ b/AlgebraicDataflowArchitectureModel/models/Game.model
@@ -1,19 +1,19 @@
 channel CIO {
-	out force(f:Double, action(x)) == x
+	out force(f:Double, action(x:Double)) == x
 	out time(t:Double, action(x)) == t + 0.01
 	out force(f, e) == x
 	out time(t, e) == t + 0.01
 }
 
 channel CIO2 {
-	out velocity(v:Double, setVel(x)) == x
+	out velocity(v:Double, setVel(x:Double)) == x
 	out velocity(v, e) == x
 }
 
 channel C1 {
 	in force(f, update1(y, m)) == y
 	in mass(m:Double, update1(y, m)) == m
-	out acceleration(a:Double, update1(y, m)) == y / m
+	out acceleration(a: Double, update1(y, m)) == y / m
 }
 
 channel C2 {