fixed json_stringify_sorted, which was doing a bad sort on firefox