Typo fixed in tree-search