Correcting a semantic error