addr printed by write_info is hexadecimal string, where it used to be an integer. This change makes it integer again.
