minor changes to index.php