diff --git a/src/bin/autfilt.cc b/src/bin/autfilt.cc
index 7c4464b33..d3ec2f0a2 100644
--- a/src/bin/autfilt.cc
+++ b/src/bin/autfilt.cc
@@ -112,7 +112,7 @@ static const argp_option options[] =
       "Any acceptance is allowed (default)", 0 },
     { "tgba", OPT_TGBA, 0, 0,
       "Transition-based Generalized Büchi Automaton", 0 },
-    { "ba", 'B', 0, 0, "Büchi Automaton", 0 },
+    { "ba", 'B', 0, 0, "Büchi Automaton (with state-based acceptance)", 0 },
     { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes "
       "of the given property)", 0 },
     /**************************************************/
diff --git a/src/bin/dstar2tgba.cc b/src/bin/dstar2tgba.cc
index 6425998a4..3120c7bcb 100644
--- a/src/bin/dstar2tgba.cc
+++ b/src/bin/dstar2tgba.cc
@@ -68,7 +68,7 @@ static const argp_option options[] =
     { 0, 0, 0, 0, "Output automaton type:", 2 },
     { "tgba", OPT_TGBA, 0, 0,
       "Transition-based Generalized Büchi Automaton (default)", 0 },
-    { "ba", 'B', 0, 0, "Büchi Automaton", 0 },
+    { "ba", 'B', 0, 0, "Büchi Automaton (with state-based acceptance)", 0 },
     { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes "
       "of the given property)", 0 },
     /**************************************************/
diff --git a/src/bin/ltl2tgba.cc b/src/bin/ltl2tgba.cc
index 8de53a26e..e0e630274 100644
--- a/src/bin/ltl2tgba.cc
+++ b/src/bin/ltl2tgba.cc
@@ -57,7 +57,7 @@ static const argp_option options[] =
     { 0, 0, 0, 0, "Output automaton type:", 2 },
     { "tgba", OPT_TGBA, 0, 0,
       "Transition-based Generalized Büchi Automaton (default)", 0 },
-    { "ba", 'B', 0, 0, "Büchi Automaton", 0 },
+    { "ba", 'B', 0, 0, "Büchi Automaton (with state-based acceptance)", 0 },
     { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes "
       "of the given formula)", 0 },
     /**************************************************/