Fixed error in Resolution def