Output as real json (i.e. in a list)