Minor fixes in games.js