Apparently there is an overflow bug too