fix mk_toc.py