Bugfix in toc-handler