correct mispelling; make args consistent in halt method