diff --git a/grammar/src/notation.grm b/grammar/src/notation.grm
index ca4edc63c50..76f846dc513 100644
--- a/grammar/src/notation.grm
+++ b/grammar/src/notation.grm
@@ -6,7 +6,7 @@ This section informally explains the grammar notation used below.
 h2. Symbols and naming
 
 _Terminal symbol_ names start with an uppercase letter, e.g. *SimpleName*
-_Nonterminal symbol_ names start with lowercase letter, e.g. *jetFile*
+_Nonterminal symbol_ names start with lowercase letter, e.g. *kotlinFile*
 Each _production_ starts with a colon (*:*)
 _Symbol definitions_ may have many productions and are terminated by a semicolon (*;*)
 Symbol definitions may be prepended with _attributes_, e.g. {{start}} attribute denotes a start symbol
diff --git a/grammar/src/toplevel.grm b/grammar/src/toplevel.grm
index 44e142655f4..be7528ced86 100644
--- a/grammar/src/toplevel.grm
+++ b/grammar/src/toplevel.grm
@@ -6,7 +6,7 @@ h1. Syntax
 
 
 [start]
-jetFile
+kotlinFile
   : preamble toplevelObject*
   ;