some corrections in dungeon.py and team_matcher