When is a divorce final?