fix double quotes in compiler error messages introduced by #307

Some error messages were not correctly displayed in the playground ...