One more case of incorrect comparison in recordpatchevent.py