minor fixes in http server