correct the spec