fix json_encode