Fixed #2: latex TOC bug