fixed bug at mergeSmallestType()