Fixed a printf argument.

Print as hexadecimal and not character.