Fixed bug in collect_tags (Tree.ml)