diff --git a/models/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp
index 1e367119db56ecfc5d9c555405f1252678e65cc9..677e5552e6d5a65f4e019286c037497f6d2e7e3a 100644
--- a/models/Example05_CarRace_NestedComposition.mp
+++ b/models/Example05_CarRace_NestedComposition.mp
@@ -79,7 +79,8 @@ ROOT Cars:	{+ Car +}
 			
 				/* if at least one car finishes, there should be a winner */
 				ENSURE #finish > 0 -> #winner > 0;
-			};
+			}
+;
 
 ROOT Judge:		provide_start_signal 
 				watch