minor change in index.php file