Fix spec's semantics