Minor edit in index.php