updated spec.ipf