Add a note of what is the default value for random_generator