semantics fix