Another minor armybot tweak