Added destructors for necessary classes