diff --git a/notebooks/Intro_Debugging.ipynb b/notebooks/Intro_Debugging.ipynb
index fe6b0648..07f27893 100644
--- a/notebooks/Intro_Debugging.ipynb
+++ b/notebooks/Intro_Debugging.ipynb
@@ -461,6 +461,7 @@
     "state_machine.node('Start', )\n",
     "state_machine.edge('Start', '¬ tag')\n",
     "state_machine.edge('¬ tag', '¬ tag', label=\" ¬ '<'\\\\nadd character\")\n",
+    "state_machine.edge('¬ tag:s', '¬ tag', label=\"'>'\")\n",
     "state_machine.edge('¬ tag', 'tag', label=\"'<'\")\n",
     "state_machine.edge('tag', '¬ tag', label=\"'>'\")\n",
     "state_machine.edge('tag', 'tag', label=\"¬ '>'\")"
@@ -480,7 +481,9 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "You see that we start in the non-tag state (`¬ tag`). Here, for every character that is not `'<'`, we add the character and stay in the same state. When we read a `'<'`, though, we end in the tag state (`tag`) and stay in that state (skipping characters) until we find a closing `'>'` character."
+    "You see that we start in the _non-tag_ state (`¬ tag`). Here, for every character that is not `'<'`, we add the character and stay in the non-tag state. `'>'` characters are skipped, though.\n",
+    "\n",
+    "When we read a `'<'`, though, we transition to the _tag_ state (`tag`) and stay in the tag state, skipping characters up to a closing `'>'` character, which makes us transition to the _non-tag_ state again."
    ]
   },
   {