Fix print_hex