Minor change to index.php