fixed wrong return type in phpdoc of filteredTree() method