modify the specification