'json_tostring' now produces valid JSON