Minor Changes to Tools.inc.php