Fixed a syntax error in install.php