Replace curly-quotes with double-ticks, just to make sure there are no encoding issues