Fix dual halting condition