Maybe there's a bug in the generation?