minor changes on index.php