diff --git a/tests/core/genltl.test b/tests/core/genltl.test
index 271820d8d..ef596e842 100755
--- a/tests/core/genltl.test
+++ b/tests/core/genltl.test
@@ -24,8 +24,10 @@ set -e
 # Make sure the name of each pattern is correctly output by %F.
 opts=`genltl --help | sed -n '/=RANGE/{
 s/^ *//
-s/=RANGE\[\?,RANGE.*/=1,1/p
-s/\[\?=RANGE.*/=1/p
+s/=RANGE\[,RANGE.*/=1,1/p
+s/=RANGE,RANGE.*/=1,1/p
+s/\[=RANGE.*/=1/p
+s/=RANGE.*/=1/p
 }'`
 res=`genltl $opts --format="--%F=%L"`
 test "$opts" = "$res"