Minor changes in web/index.php code style