A nicer index.php