fix the docs for HTTP server