diff --git a/examples/multi-objective/mdp/simple/simple.nm b/examples/multi-objective/mdp/simple/simple.nm
index 50c4fe344..04c1a0ea0 100644
--- a/examples/multi-objective/mdp/simple/simple.nm
+++ b/examples/multi-objective/mdp/simple/simple.nm
@@ -1,6 +1,4 @@
-// sum of two dice as the asynchronous parallel composition of
-// two copies of Knuth's model of a fair die using only fair coins
-
+ 
 mdp
 
 module simple
@@ -10,6 +8,7 @@ module simple
 
 	[A] s=0 -> 0.2 : (s'=1) + 0.8 : (s'=0);
 	[B] s=0 -> 1 : (s'=2);
+	[C] s=0 -> 1 : (s'=0);
 	[]  s>0 -> 1 : (s'=s);
 endmodule
 
diff --git a/examples/multi-objective/mdp/simple/simple.pctl b/examples/multi-objective/mdp/simple/simple.pctl
index 61e4e1a64..91d5becac 100644
--- a/examples/multi-objective/mdp/simple/simple.pctl
+++ b/examples/multi-objective/mdp/simple/simple.pctl
@@ -1,2 +1,2 @@
-multi(P>0.4 [ F "a"], P>0.3 [ F "b"] )
+multi(P<0.4 [ F "a"], P<0.3 [ F "b"] )
 //multi(Pmin=? [ F<=10 "a"], R<0.3 [ F "b" | "a"] )
\ No newline at end of file