Avoid grave accent quoting in stderr diagnostics