Make the Table of Contents at the beginning of the document in sync with the structure of the document, adding some sections which were missing from the ToC.