Index.php minor tweaks