fix semantics1