diff --git a/doc/org/ltl2tgba.org b/doc/org/ltl2tgba.org
index 87788b61c..3d946f23f 100644
--- a/doc/org/ltl2tgba.org
+++ b/doc/org/ltl2tgba.org
@@ -41,7 +41,7 @@ command-line parameter that is not the argument of some option will be
 assumed to be a formula to translate (this differs from [[file:ltlfilt.org][=ltlfilt=]],
 where such parameters are assumed to be filenames).
 
-=ltl2tgba= honors the [[file:aout.org][common options for selecting the output format]].
+=ltl2tgba= honors the [[file:oaut.org][common options for selecting the output format]].
 The default output format, as shown above, is [[http://http://www.graphviz.org/][GraphViz]]'s format.  This
 can converted into a picture, or into vectorial format using =dot= or
 =dotty=.  Typically, you could get a =pdf= of this TGBA using
diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index cdacb485b..9e666c27b 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -110,7 +110,7 @@ No problem detected.
   - Non-alternating automata in [[file:http://adl.github.io/hoaf/][the HOA format]] with an acceptance
     condition that is is generalized-Büchi or inferior.  These
     should also be indicated using =%O=.
-  - [[http://www.ltl2dstar.de/docs/ltl2dstar.html][=ltl2dsar='s format]], which support deterministic Rabin or Streett
+  - [[http://www.ltl2dstar.de/docs/ltl2dstar.html][=ltl2dstar='s format]], which supports deterministic Rabin or Streett
     automata.  After =ltlcross= reads such input, it immediately
     convert it into a Büchi automaton.  Rabin automata are converted
     to (degeneralized) Büchi automata and the conversion will preserve