Fixing extension'RandomGenerator