prevent JSINFO.toc undefined error