Clean up web/index.php