Fix a typo and some small errors in gmp hexdec/dechex