install.php: another fix