Correcting minor bug on 64 bits experimental