Another very minor change to BattleServer

Pesky =!