fix the SMI comparison overflow path.