diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index 9e666c27b..ec45d01c9 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -112,7 +112,7 @@ No problem detected.
     should also be indicated using =%O=.
   - [[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
+    converts it into a Büchi automaton.  Rabin automata are converted
     to (degeneralized) Büchi automata and the conversion will preserve
     the determinism anytime a deterministic Büchi automaton exists for
     that property (this determinism is good for the complemented
diff --git a/doc/org/setup.org b/doc/org/setup.org
index cb844d763..9c7fdd636 100644
--- a/doc/org/setup.org
+++ b/doc/org/setup.org
@@ -3,6 +3,6 @@
 #+HTML_LINK_HOME: index.html
 #+MACRO: SPOTVERSION 1.99.1
 #+MACRO: LASTRELEASE 1.99.1
-#+MACRO: LASTTARBALL [[file:http:/www.lrde.epita.fr/dload/spot/spot-1.99.1.tar.gz][=spot-1.99.1.tar.gz=]]
+#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.1.tar.gz][=spot-1.99.1.tar.gz=]]
 #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-1/NEWS][summary of the changes]]
 #+MACRO: LASTDATE 2015-06-23