Made sure JSON representation of FacetValue still works