Tidy index.php