Note where the to_json / from_json functions come from