diff --git a/prism-examples/molecules/knacl.sm b/prism-examples/molecules/knacl.sm
index 2d2bbceb..d2537be2 100644
--- a/prism-examples/molecules/knacl.sm
+++ b/prism-examples/molecules/knacl.sm
@@ -2,7 +2,7 @@
 // dxp/gxn 04/10/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Na molecules
diff --git a/prism-examples/molecules/mc.sm b/prism-examples/molecules/mc.sm
index a8fa2bf5..61d47614 100644
--- a/prism-examples/molecules/mc.sm
+++ b/prism-examples/molecules/mc.sm
@@ -2,7 +2,7 @@
 // dxp/gxn 04/10/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Mg molecules
diff --git a/prism-examples/molecules/nacl.sm b/prism-examples/molecules/nacl.sm
index 6ecaf3f0..e2ac60d3 100644
--- a/prism-examples/molecules/nacl.sm
+++ b/prism-examples/molecules/nacl.sm
@@ -2,7 +2,7 @@
 // dxp/gxn 09/06/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Na molecules
@@ -41,8 +41,6 @@ const double e2rate = 10; // Na+ + Cl- -> Na + Cl
 // module representing the base rates of reactions
 module base_rates
 	
-	dummy : bool; // dummy variable
-	
 	[e1] true -> e1rate : true;
 	[e2] true -> e2rate : true;