Those are exactly the user agent strings the bot would spoof.