if ( isset($r['headers']['User-Agent']) ) {
            $r['user-agent'] = $r['headers']['User-Agent'];
            unset($r['headers']['User-Agent']);
        } else if ( isset($r['headers']['user-agent']) ) {
            $r['user-agent'] = $r['headers']['user-agent'];