List comprehension for json dump