add a destructor for Assignment