Fixed a small bug in the web server example