Fix "random number generator"