adding RandomGenerator, appears to have been deleted