Minor docs fix to web server example.