Fixed bugs in HTML output of annotation tree.