Fixed typo in Tools/Setup.php