minor changes in match.py