r23375: Fix a 64-bit warning