fix json dump