MetaCoq Quote Definition superfluous parenthesis

[NeuralCoder3]

The precedence in the MetaCoq Quote and Unquote vernacular seems to be too eager:

Following code snippets are rejected due to syntax errors: MetaCoq Quote Definition test1 := @nil nat. MetaCoq Quote Definition test2 := forall (X:Type), True.

The command works with single elements or explicit parenthesis:

MetaCoq Quote Definition test3 := @nil.
MetaCoq Quote Definition test4 := (@nil nat).
MetaCoq Quote Definition test5 := (forall (X:Type), True).

I think it would be more intuitive to take everything after the := until the dot like the normal definition command.