Minor editing index.php