fix semantics of specification