diff --git a/bin/man/ltlcross.x b/bin/man/ltlcross.x
index 30b8b5e81..295fbb195 100644
--- a/bin/man/ltlcross.x
+++ b/bin/man/ltlcross.x
@@ -1,6 +1,6 @@
 .\" -*- coding: utf-8 -*-
 [NAME]
-ltlcross \- cross-compare LTL/PSL translators to Büchi automata
+ltlcross \- cross-compare LTL/PSL translators to omega-automata
 [EXAMPLES]
 The following commands compare never claims produced by
 .BR ltl2tgba (1),
diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index c0c3a9600..9db0e4e2a 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -3,7 +3,7 @@
 #+SETUPFILE: setup.org
 #+HTML_LINK_UP: tools.html
 
-=ltlcross= is a tool for cross-comparing the output of LTL-to-Büchi
+=ltlcross= is a tool for cross-comparing the output of LTL-to-automata
 translators.  It is actually a Spot-based clone of [[http://www.tcs.hut.fi/Software/lbtt/][LBTT]], the
 /LTL-to-Büchi Translator Testbench/, that essentially performs the
 same sanity checks.
diff --git a/doc/org/tools.org b/doc/org/tools.org
index f36d69968..f3dfc641c 100644
--- a/doc/org/tools.org
+++ b/doc/org/tools.org
@@ -43,7 +43,7 @@ corresponding commands are hidden.
 - [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns.
 - [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into Büchi automata.
 - [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into Testing automata.
-- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-Büchi translators.
+- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators.
 - [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL
   formula
 - [[file:dstar2tgba.org][=dstar2tgba=]] Convert automata with any acceptance into variants of