Fix bugs in http user agent in WebCrawler