small fix on index.php