minor changes to some comments rebuilt the generated HTML pages for * tree.c: minor changes to some comments * doc/*.html: rebuilt the generated HTML pages for changes from jfleck (bug 126945)