Fix a 64bit warning