PRNG fix