Fix numbering in table of contents.