Fixed a potential bug in genGenPointerSet