random number generator bug found