fix HTTP server instructions