woops, last change broke link from index.html --> tree.html
(for non-javascript case, i.e. robots)