// But if we're in a branch, this is not the end of
// the document. (There may be some other checks of this
// kind that are needed.)
// But if we're in a branch, this is not the end of
// the document. (There may be some other checks of this
// kind that are needed.)