Fix numbering in ToC