Fix json_encode.