fix noncompiling error