Bug in 64 bits resolved