Fix halting, again