Why not just rename one of your bots, stop means stop?