minor: correcting bug in toc