Documentation problem with taxonomy_get_tree

This code is WRONG! (it is not RECURSIVE!)

<?php
function theme_taxonomy_nested_tree($tree) {
    if (count($tree)) {
        $output = '<ul class="taxonomy-tree">';
        foreach ($tree as $term) {
            $output .= '<li class="taxonomy-term">';
            $output .= l($term->name, taxonomy_term_path($term));
            if ($term->children) {
                $output .= theme('illogica_category_tree', $term->children);
            }
            $output .= '</li>';
        }
        $output .= '</ul>';
    }
    return $output;
}
?>

This is the RIGHT code:

<?php
function theme_taxonomy_nested_tree($tree) {
    if (count($tree)) {
        $output = '<ul class="taxonomy-tree">';
        foreach ($tree as $term) {
            $output .= '<li class="taxonomy-term">';
            $output .= l($term->name, taxonomy_term_path($term));
            if ($term->children) {
                $output .= theme_taxonomy_nested_tree($term->children);
            }
            $output .= '</li>';
        }
        $output .= '</ul>';
    }
    return $output;
}
?>

WRONG: $output .= theme('illogica_category_tree', $term->children);
RIGHT: $output .= theme_taxonomy_nested_tree($term->children); //recurse

Thanks to *you all* for the code!
hope it helps.
SdP