Fix bug in web server