fix the http server example