Minor cosmetic cleanups inside install/index.php