Fix a typo in the webserver docs