remove unneeded destructor