Update toc.php