Fix file name in jQuery TOC