small change in the semantics