Bad parsing of .}

[coquser]

In ProofGeneral with Coq, I cannot execute a script past “.}” as in the following:

Goal True.
 {auto.}

I think that PG should issue an error message.