Fix for 32 bit platforms