Fix toc.html