Fix a warning in 64bit environment