In label's destructor.