diff --git a/docs/notebooks/ConfigurationFuzzer.ipynb b/docs/notebooks/ConfigurationFuzzer.ipynb
index 142fbb56b..9372a0b21 100644
--- a/docs/notebooks/ConfigurationFuzzer.ipynb
+++ b/docs/notebooks/ConfigurationFuzzer.ipynb
@@ -6954,12 +6954,12 @@
    },
    "source": [
     "When copying, expansions in the copy should also refer to symbols in the copy.  Hence, when expanding `<int>` in\n",
-    "\n",
-    "```<int> ::= <int><digit>```\n",
-    "\n",
+    "```\n",
+    "<int> ::= <int><digit>\n",
+    "```\n",
     "make that\n",
-    "\n",
-    "```<int> ::= <int><digit>\n",
+    "```\n",
+    "<int> ::= <int><digit>\n",
     "<int'> ::= <int'><digit'>\n",
     "```\n",
     "\n",