Fix a minor error in entry point generation