Unreviewed, fix 32-bit. Forgot to make this simple change to 32_64 as well.