Tighten up dungeon(), process_player() a little