Minor updates on index.php