add Dot destructor