bugfix in the generator script