Updated cosmetics of index.php