get rid of toc as DocToc does not work without loads of effort