index.php minor tweaks