fix double quotes in compiler error messages introduced by #307