fix abstract generation error