make friendlier to json serialization