types correction for 64-bit hosts