Fixed invalid destructor generation