Fix bug in UnifyingResolution