Undo change of toc to manifest, because wrong
Fix mess from changing manifest back to toc