fixed random_int() call