minor changes in index.php