Fix problem for the Library Reference where high-numbered sections of

high-numbered chapters took too much space for the section number in the
table of contents.  This makes the section number and title not overlap.