Correcting execution instructions