change the encoding