xml reads the destructors as should!