Fix json_decode_file