SPEC: update specs.