minor cleanup in webserver