Update spec for #resolve