Fix toc indexing of ignored files