Fix comedy error in termination checker