diff --git a/src/bin/common_trans.cc b/src/bin/common_trans.cc
index 8133586f1..919ce60af 100644
--- a/src/bin/common_trans.cc
+++ b/src/bin/common_trans.cc
@@ -43,7 +43,7 @@ static struct shorthands_t
     { "ltl2dstar", " --output-format=hoa %L %O"},
     { "ltl2tgba", " -H %f>%O" },
     { "ltl3ba", " -f %s>%O" },
-    { "ltl3dra", " -f %f>%O" },
+    { "ltl3dra", " -f %s>%O" },
     { "modella", " %L %O" },
     { "spin", " -f %s>%O" },
   };