fix a critial bug in the Int2 evaluation