Update tocgen.php