fix `halt'