diff --git a/prism-examples/phil/nofair/.autopp b/prism-examples/phil/nofair/.autopp
index 82a46aba..4b45073f 100755
--- a/prism-examples/phil/nofair/.autopp
+++ b/prism-examples/phil/nofair/.autopp
@@ -1,6 +1,6 @@
 #!/bin/csh
 
-foreach N ( 3 4 5 6 7 8 9 )
+foreach N ( 3 4 5 6 7 8 9 10 )
   echo "Generating for N=$N"
   prismpp .phil-nofairN.nm.pp $N >! phil-nofair"$N".nm
   unix2dos phil-nofair"$N".nm
diff --git a/prism-examples/self-stabilisation/herman/.autopp b/prism-examples/self-stabilisation/herman/.autopp
index 64f52b34..06e45407 100755
--- a/prism-examples/self-stabilisation/herman/.autopp
+++ b/prism-examples/self-stabilisation/herman/.autopp
@@ -4,4 +4,6 @@ foreach N ( 3 5 7 9 11 13 15 17 19 21 )
 	echo "Generating for N=$N"
 	prismpp .hermanN.pm.pp $N >! herman$N.pm
 	unix2dos herman$N.pm
+	#prismpp .hermanNmod.pm.pp $N >! herman"$N"mod.pm
+	#unix2dos herman"$N"mod.pm
 end