diff --git a/NEWS b/NEWS
index f23ebcfe3..945fd3e53 100644
--- a/NEWS
+++ b/NEWS
@@ -22,6 +22,7 @@ New in spot 2.1.0a (not yet released)
 
   * Fix several cases where command-line tools would fail to diagnose
     write errors (e.g. when writing to a filesystem that is full).
+  * Typos in genltl --help and in the man page spot-x(7).
 
 New in spot 2.1 (2016-08-08)
 
diff --git a/bin/genltl.cc b/bin/genltl.cc
index a7f2d61ea..3beda8f1a 100644
--- a/bin/genltl.cc
+++ b/bin/genltl.cc
@@ -217,7 +217,7 @@ static const argp_option options[] =
       "F(p&(Xp)&(XXp)&...(X...X(p))) & F(q&(Xq)&(XXq)&...(X...X(q)))", 0 },
     { "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
       "Dwyer et al. [FMSP'98] Spec. Patterns for LTL "
-      "(range should be included in 1..45)", 0 },
+      "(range should be included in 1..55)", 0 },
     { "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
       "Etessami and Holzmann [Concur'00] patterns "
       "(range should be included in 1..12)", 0 },