Minor change in index.php