+ // It might be that we only have a title in this document.
+ // 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.)
+ if (was_title && !already_title && !runparams.inbranch) {