Clarify withtoc.js