correction+text in Semantics