Fixing a couple of warnings on 64-bit architectures