minor changes to ecxplorer_tree