A few more 64-bit warnings