RichDomain finalization