small editorial changes in index.php