changed NO_TERMINATION_CHECK to TERMINATING