Corrects language in "semantics"