Dummy code in destructor