removes code for HTML toc, I might do that differently.