diff --git a/src/bin/autfilt.cc b/src/bin/autfilt.cc
index 8a6b6314b..e9399286c 100644
--- a/src/bin/autfilt.cc
+++ b/src/bin/autfilt.cc
@@ -66,7 +66,7 @@ static const argp_option options[] =
       "Transition-based Generalized Büchi Automaton (default)", 0 },
     { "ba", 'B', 0, 0, "Büchi Automaton", 0 },
     { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes "
-      "of the given formula)", 0 },
+      "of the given property)", 0 },
     /**************************************************/
     { 0, 0, 0, 0, "Output format:", 3 },
     { "dot", OPT_DOT, 0, 0, "GraphViz's format (default)", 0 },
diff --git a/src/bin/dstar2tgba.cc b/src/bin/dstar2tgba.cc
index 54d7b38e4..27e0e7832 100644
--- a/src/bin/dstar2tgba.cc
+++ b/src/bin/dstar2tgba.cc
@@ -67,7 +67,7 @@ static const argp_option options[] =
       "Transition-based Generalized Büchi Automaton (default)", 0 },
     { "ba", 'B', 0, 0, "Büchi Automaton", 0 },
     { "monitor", 'M', 0, 0, "Monitor (accepts all finite prefixes "
-      "of the given formula)", 0 },
+      "of the given property)", 0 },
     /**************************************************/
     { 0, 0, 0, 0, "Output format:", 3 },
     { "dot", OPT_DOT, 0, 0, "GraphViz's format (default)", 0 },