diff --git a/marzipan/src/parser.py b/marzipan/src/parser.py
index 89c776b..92649b8 100644
--- a/marzipan/src/parser.py
+++ b/marzipan/src/parser.py
@@ -19,7 +19,7 @@ reserved_words = [
     "elimtrue",
     "else",
     "equation",
-    "equivalence",  # no rule yet
+    "equivalence",  # no rule yet (this is CryptoVerif-specific)
     "event",
     "expand",
     "fail",
@@ -30,7 +30,7 @@ reserved_words = [
     "fun",
     "get",
     "if",
-    "implementation",  # no rule yet
+    "implementation",  # no rule yet (this is CryptoVerif-specific)
     "in",
     "inj-event",
     "insert",