Small change to index.php