Fixed a generation error.