diff --git a/tests/python/stutter-inv.ipynb b/tests/python/stutter-inv.ipynb
index 4ad4f5974..d857b60e8 100644
--- a/tests/python/stutter-inv.ipynb
+++ b/tests/python/stutter-inv.ipynb
@@ -392,6 +392,13 @@
     "explain_stut('GF(a & Xb)')"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "Note that a variant of the above explanation procedure is already integerated in our [on-line LTL translator tool](https://spot.lrde.epita.fr/app/) (use the <i>study</i> tab)."
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {},
@@ -820,7 +827,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Such a procedure gives us map of where POR can be enabled when model checking using such an automaton."
+    "Such a procedure gives us a map of where POR can be enabled when model checking using this automaton."
    ]
   },
   {
@@ -2339,7 +2346,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.6.7"
+   "version": "3.7.1"
   }
  },
  "nbformat": 4,