minor change to toc.js