doc tweaks in defgame example