Get rid of some superfluous double-quotes in error messages.