Fix a typo in the widening of vectors in PromoteIntRes. Patch by Shemer Anat.