diff --git a/doc/org/genltl.org b/doc/org/genltl.org
index 11df83117..3751df185 100644
--- a/doc/org/genltl.org
+++ b/doc/org/genltl.org
@@ -236,7 +236,7 @@ contain only 46 formulas, not 54.
 
 #+BEGIN_SRC sh :results verbatim :exports both
 genltl --sb | ltlfilt --uniq --count
-(genltl --sb; genltl --sb | ltlfilt --negate) | ltlfilt --uniq --count
+genltl --sb --pos --neg | ltlfilt --uniq --count
 #+END_SRC
 #+RESULTS:
 : 27