fix a typo in index.php