fix database destructor