fixed promote-with-check error