Specification is updated.