Implement stop of execution correctly