Properly Registering Sedna's DDEX Provider