commented out undefined destructor