public headers: json_dump header clean up