Undefined index: HTTP_USER_AGENT (fix)

Returns a undefined index. The User-Agent header is optional.