Line divisions and page numbers were retained for use with the Index and linenotes, except that some very short words have been moved up or down to avoid awkward gaps. Headnotes have been moved to the nearest convenient line break.