Correct 32/64 bit wordsize mismatch