diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index 5c69d6756..fe5142998 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -150,7 +150,7 @@ tools:
   - '=java -jar Rabinizer.jar -ltl2dstar %F %D; mv %D.dst %D=' (Rabinizer
     uses the last =%D= argument as a prefix to which it always append =.dst=,
     so we have to rename =%D.dst= as =%D= so that =ltlcross= can find the file)
-  - '=ltl3dra -f %s >%D='
+  - '=ltl3dra -f %s >%O='
 
 To simplify the use of some of the above tools, a set of predefined
 shorthands are available.  Those can be listed with the
@@ -169,7 +169,7 @@ the following words, then the string on the right is appended.
   ltl2dstar    %L %D
   ltl2tgba     -H %f>%O
   ltl3ba       -f %s>%O
-  ltl3dra      -f %f>%D
+  ltl3dra      -f %f>%O
   modella      %L %O
   spin         -f %s>%O
 #+end_example
diff --git a/doc/org/ltldo.org b/doc/org/ltldo.org
index 1b69dff19..de0083bf8 100644
--- a/doc/org/ltldo.org
+++ b/doc/org/ltldo.org
@@ -305,7 +305,7 @@ the following words, then the string on the right is appended.
   ltl2dstar    %L %D
   ltl2tgba     -H %f>%O
   ltl3ba       -f %s>%O
-  ltl3dra      -f %f>%D
+  ltl3dra      -f %f>%O
   modella      %L %O
   spin         -f %s>%O
 #+end_example
diff --git a/src/bin/common_trans.cc b/src/bin/common_trans.cc
index 9428c93b6..5b5d589c0 100644
--- a/src/bin/common_trans.cc
+++ b/src/bin/common_trans.cc
@@ -44,7 +44,7 @@ static struct shorthands_t
     { "ltl2dstar", " %L %D"},
     { "ltl2tgba", " -H %f>%O" },
     { "ltl3ba", " -f %s>%O" },
-    { "ltl3dra", " -f %f>%D" },
+    { "ltl3dra", " -f %f>%O" },
     { "modella", " %L %O" },
     { "spin", " -f %s>%O" },
   };