fix json dumps