added destructor for TagManager