bug fixed for 32 bits OS