src/Pure/Isar/token.scala

     else if (kind == Token.Kind.CARTOUCHE) Scan.Lexicon.empty.cartouche_content(source)
     else if (kind == Token.Kind.COMMENT) Scan.Lexicon.empty.comment_content(source)
     else source
 
   def text: (String, String) =
-    if (is_command && source == ";") ("terminator", "")
+    if (is_keyword && source == ";") ("terminator", "")
     else (kind.toString, source)
 }