diff --git a/doc/org/index.org b/doc/org/index.org
index daf2a2220..1d1292bbe 100644
--- a/doc/org/index.org
+++ b/doc/org/index.org
@@ -49,8 +49,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on
 
 * Try Spot On-line
 
-- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or
-  PSL formulas into automata.
+- [[https://spot.lrde.epita.fr/app/][Our on-line translator]] provides a convenient way to translate LTL or
+  PSL formulas into automata, or to study/compare formulas.
 - [[http://spot-sandbox.lrde.epita.fr/][spot-sandbox]] is a Jupyter notebook with a complete installation of
   Spot that allows you to try the [[file:tools.org][command-line tools]] (using a shell
   interface) as well as the Python bindings (in an IPython notebook).