Fixes a dashboard warning about deprecated default assignment operator
because of the existence of user defined destructor.