Fix a 64 bits compilation warning