fix doctree problem