Minor tweaks to index.php