diff --git a/bin/man/spot.x b/bin/man/spot.x
index f46305aa5..8ac229dde 100644
--- a/bin/man/spot.x
+++ b/bin/man/spot.x
@@ -11,16 +11,19 @@ that are listed below.
 .\" Add any additional description here
 
 [SEE ALSO]
-.BR randltl (1)
+.BR autfilt (1)
+.BR autcross (1)
+.BR dstar2tgba (1)
+.BR genaut (1)
 .BR genltl (1)
-.BR ltlfilt (1)
-.BR ltlrind (1)
-.BR randaut (1)
 .BR ltl2tgba (1)
 .BR ltl2tgta (1)
-.BR autfilt (1)
 .BR ltlcross (1)
 .BR ltldo (1)
+.BR ltlfilt (1)
+.BR ltlgrind (1)
+.BR randaut (1)
+.BR randltl (1)
 .BR spot-x (7)
 
 .UR https://spot.lrde.epita.fr/
diff --git a/bin/spot.cc b/bin/spot.cc
index 1478f1234..0cbe27f16 100644
--- a/bin/spot.cc
+++ b/bin/spot.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
+// Copyright (C) 2013, 2014, 2015, 2016, 2017 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -39,6 +39,7 @@ static const argp_option options[] =
           "reproduce a bug.") },
     { nullptr, 0, nullptr, 0, "Tools that output automata:", 0 },
     { DOC("randaut", "Generate random ω-automata.") },
+    { DOC("genaut", "Generate ω from scalable patterns.") },
     { DOC("ltl2tgba", "Convert LTL or PSL into variants of Transition-based "
           "Generalized Büchi Automata.") },
     { DOC("ltl2tgta", "Convert LTL or PSL into variants of Transition-based "
@@ -47,6 +48,8 @@ static const argp_option options[] =
     { DOC("dstar2tgba", "Convert ω-automata into variants of "
           "Transition-based Büchi automata.") },
     { nullptr, 0, nullptr, 0, "Tools that run other tools:", 0 },
+    { DOC("autcross", "Cross-compare tools processing ω-automata,"
+          " watch for bugs, and generate statistics.") },
     { DOC("ltlcross", "Cross-compare translators of LTL or PSL formulas "
           "into ω-automata, watch for bugs, and generate statistics.") },
     { DOC("ltldo", "Wrap any tool that inputs LTL or PSL formulas and possibly "