bugfix: encode_hex, decode_hex