Halting Bug Fixed