index.php: cleanup