Minor edit to index.php