Add function required for triplist.php, and clean up header lines