fix missing assign in getHigh32