diff --git a/src/doc/reference.md b/src/doc/reference.md
index d05705562d27a..40c28fab02d7a 100644
--- a/src/doc/reference.md
+++ b/src/doc/reference.md
@@ -133,7 +133,7 @@ Some productions are defined by exclusion of particular Unicode characters:
 
 ```{.ebnf .gram}
 comment : block_comment | line_comment ;
-block_comment : "/*" block_comment_body * '*' + '/' ;
+block_comment : "/*" block_comment_body * "*/" ;
 block_comment_body : [block_comment | character] * ;
 line_comment : "//" non_eol * ;
 ```