minor change: initialized tool in wumpusgame.