Little modification of index.php