diff --git a/grammar/README.md b/grammar/README.md
index 8bf65ba8c8..ab8b144a94 100644
--- a/grammar/README.md
+++ b/grammar/README.md
@@ -1613,7 +1613,7 @@ There are three kinds of print commands.
 
 <a name="console-statement"></a>
 ```abnf
-console-statement = %s"console" "." console-call
+console-statement = %s"console" "." console-call ";"
 ```
 
 Go to: _[console-call](#user-content-console-call)_;
diff --git a/grammar/abnf-grammar.txt b/grammar/abnf-grammar.txt
index 4e0db31e7f..a7095ab310 100644
--- a/grammar/abnf-grammar.txt
+++ b/grammar/abnf-grammar.txt
@@ -972,7 +972,7 @@ assignment-statement = expression assignment-operator expression ";"
 ; Note that the console function names are identifiers, not keywords.
 ; There are three kinds of print commands.
 
-console-statement = %s"console" "." console-call
+console-statement = %s"console" "." console-call ";"
 
 console-call = assert-call
              / print-call