used by the generator