install.php: fixed a typo