fix halting