Fix toc.js for real