fix #12 - 32Bit bug