added digraph destructor