Fix a bug in resolution types