Fix missing ToC