Minor changes in toc.html