halting corrected, README updated