fix json dumping