BUGFIX: Infinite loop in the refreshTree().