Remove bug in install.php