diff -r a6aa52ecc1c5 -r 676e6484f29b progs/re2.scala
--- a/progs/re2.scala	Tue Oct 03 23:01:06 2017 +0100
+++ b/progs/re2.scala	Tue Oct 03 23:35:16 2017 +0100
@@ -1,6 +1,6 @@
-// Version with explicit an explicit n-times regular expression;
-// this keeps the overall regular expression in the EVIL1 regular 
-// expression small
+// Version with an explicit n-times regular expression;
+// this keeps the size of the regular expression in the
+// EVIL1 test-case quite small
 
 abstract class Rexp 
 case object ZERO extends Rexp