index.php: Minor editing