Minor changes in index.php