tiny tiny updates to install.php

nothing serious :)