Minor fix to slightly improve processing time, for setting a section title when the document isn't a section.