Fixed bug in toc