modifications to JSON dumping