Small fix of RNG