Correcting cyk exec