Fix an example in docstring of HTTPServer