Quiet a few 64-to-32-bit warnings.