Cosmetics on tocgen.php