fixed set_encoding()