obsolete
Remove redundant destructor