fix word64 address types