fix const in json serialization