fix 5dee49e19 (32/64 bit unsigned int compatibility)