Small fixes in toc