Update KMPMatch.py