one more 64-bit clean issue