Fix a typo in the generation rules