fix bug in the spec.