Use default destructor