bot.mirror: minor change in output