fix 32 bit issue