Correction for semantics