Correct think-o in foldPatchpoint. Thanks to Andy Trick for pointing it out.