Fix an warning in 64bit environment