set the encoding