fixed semantics