Re-added destructor