Correcting some bugs in 64 bits testing