fix json_halt instruction