Bug fixes in User-Agent headers