minor fix in json dump