minor fixes in index.php