avoid JSON serialization problem for set type