Minor changes to index.php