correct error of synth condition