fixed 32-bit build issue that I seem to have introduced accidentally