Bug fix

RandomNamgeGenerator now holds the default_random_engine by the right way.