Why a comma inserted automatically after ImportPath

[eldesh]

The following input (test.cue) seems to be valid as a CUE.
Probably because a comma is automatically inserted immediately after ImportDecl (= "math").

$ cat test.cue
import "math"
data: math.Sqrt(7)
$ ./cue export test.cue
{
    "data": 2.6457513110645907
}

The language spec sais that the ImportDecl must follows a comma:

SourceFile = { attribute "," } [ PackageClause "," ] { ImportDecl "," } { Declaration "," } .

But in the above case, the ImportDecl must ends with " .

// https://cuelang.org/docs/references/spec/#import-declarations
ImportDecl       = "import" ( ImportSpec | "(" { ImportSpec "," } ")" ) .
ImportSpec       = [ PackageName ] ImportPath .
ImportPath       = `"` ImportLocation [ ":" identifier ] `"` .

And the " does not match the auto-insert condition shown below.

// https://cuelang.org/docs/references/spec/#commas
 a comma is automatically inserted into the token stream immediately after a line’s final token if that token is

    an identifier, keyword, or bottom
    a number or string literal, including an interpolation
    one of the characters ), ], }, or ?
    an ellipsis ...
..

[slewiskelly]

And the " does not match the auto-insert condition shown below.

The import path is a string literal.

[eldesh]

Ah, yes. Thanks 👍