diff --git a/src/bin/autfilt.cc b/src/bin/autfilt.cc
index 40e323da7..b778f970d 100644
--- a/src/bin/autfilt.cc
+++ b/src/bin/autfilt.cc
@@ -163,7 +163,7 @@ static const argp_option options[] =
     { 0, 0, 0, 0, "Filters:", 6 },
     { "are-isomorphic", OPT_ARE_ISOMORPHIC, "FILENAME", 0,
       "keep automata that are isomorphic to the automaton in FILENAME", 0 },
-    { "uniq", 'u', 0, 0,
+    { "unique", 'u', 0, 0,
       "do not output the same automaton twice (same in the sense that they "\
       "are isomorphic)", 0 },
     { "isomorphic", 0, 0, OPTION_ALIAS | OPTION_HIDDEN, 0, 0 },
diff --git a/src/bin/randaut.cc b/src/bin/randaut.cc
index 1e0d08c41..ad6a03672 100644
--- a/src/bin/randaut.cc
+++ b/src/bin/randaut.cc
@@ -82,7 +82,7 @@ static const argp_option options[] =
     { "density", 'd', "FLOAT", 0, "density of the transitions (0.2)", 0 },
     { "deterministic", 'D', 0, 0, "build a complete, deterministic automaton ",
       0 },
-    { "uniq", 'u', 0, 0,
+    { "unique", 'u', 0, 0,
       "do not output the same automaton twice (same in the sense that they "\
       "are isomorphic)", 0 },
     { "seed", OPT_SEED, "INT", 0,