index.php became prettier!