Correction of execution errors