diff --git a/prism-examples/phil/original/.autopp b/prism-examples/phil/original/.autopp
index 3efd0d22..03624ef0 100755
--- a/prism-examples/phil/original/.autopp
+++ b/prism-examples/phil/original/.autopp
@@ -1,6 +1,6 @@
 #!/bin/csh
 
-foreach N ( 3 4 5 6 7 8 9 10 15 25 30 )
+foreach N ( 3 4 5 6 7 8 9 10 15 20 25 30 )
   echo "Generating for N=$N"
   prismpp .philN.nm.pp $N >! phil"$N".nm
   unix2dos phil"$N".nm