diff --git a/prism-examples/zeroconf/zeroconf.nm b/prism-examples/zeroconf/zeroconf.nm
index 123d8c4d..38bd391a 100644
--- a/prism-examples/zeroconf/zeroconf.nm
+++ b/prism-examples/zeroconf/zeroconf.nm
@@ -48,7 +48,7 @@ const bool reset;
 
 //-------------------------------------------------------------
 // model is an mdp
-nondeterministic
+mdp
 
 //-------------------------------------------------------------
 // VARIABLES
diff --git a/prism-examples/zeroconf/zeroconf_time_bounded.nm b/prism-examples/zeroconf/zeroconf_time_bounded.nm
index 70c3c528..5557b9f2 100644
--- a/prism-examples/zeroconf/zeroconf_time_bounded.nm
+++ b/prism-examples/zeroconf/zeroconf_time_bounded.nm
@@ -48,7 +48,7 @@ const bool reset;
 
 //-------------------------------------------------------------
 // model is an mdp
-nondeterministic
+mdp
 
 //-------------------------------------------------------------
 // VARIABLES