allow json-serialization