Minor modifications in install.php