Minor change to KoduGame.cc.fsm