when halting, exit (thanks Anthony!)