consistency tweaks for HasTocTree and GetTocTree