By the way, anyone patching tires really should get one of these:
The brand name is "thumbs up." I've been able to get them on eBay for a couple bucks, shipped, from China; but they don't seem to be there now. But for scuffing the tube and rolling the patch afterwards, it's really great. Since started using one of these, I have hardly had a patch fail.