minor changes in install.php