fix a bug in extension point generation