fixing wrong permalink on toc.html