How are ventilation ducts sealed?