adjust spec to match new resolver interface