Another syntactical fix for the integer random number generation