Shorter title for nav-tree's sake.