Fix the broken ToC generation