Fix bug in war_state.py.