diff --git a/examples/semantics/operational/port/assignment.py b/examples/semantics/operational/port/assignment.py
index b448265..a7ae221 100644
--- a/examples/semantics/operational/port/assignment.py
+++ b/examples/semantics/operational/port/assignment.py
@@ -139,6 +139,4 @@ def termination_condition(od):
 
     # TO IMPLEMENT: terminate simulation when the place 'served' contains 2 ships.
 
-    if len(od.get_all_instances("Place")) > 5:
-        return "More places than I can count :("
-
+    pass
diff --git a/examples/semantics/operational/port/models.py b/examples/semantics/operational/port/models.py
index 74607b5..0ee07ce 100644
--- a/examples/semantics/operational/port/models.py
+++ b/examples/semantics/operational/port/models.py
@@ -263,7 +263,7 @@ port_rt_m_cs = port_m_cs + """
         time = 0;
     }
 
-    waitingState:PlaceState         { numShips = 2; }  :of (waitingState -> waiting)
+    waitingState:PlaceState         { numShips = 0; }  :of (waitingState -> waiting)
     inboundPassageState:PlaceState  { numShips = 0; }  :of (inboundPassageState -> inboundPassage)
     outboundPassageState:PlaceState { numShips = 0; }  :of (outboundPassageState -> outboundPassage)