Bugfix in rgm_chk, hexadecimal decoder.