fixes a warning related to 64-bit builds