Updates to spec.