Correction of the comparison between signed and unsigned integer expressions