WorkingSet: update a docstring for to_json()