Small fix in index.php