some minor changes in index.php