Semantics repaired