various small fixes
fix json_decode_hex_digit()