ignoring doctrees