Minor fix related to termination.