Fix encoding of '