Minor code style changes in web/index.php