fix bug in GameState.lua