1310142217: fix a lack of memory in Generator.