Fix error in SEMANTICS