Oops. No, that's residue from another patch I was considering. I'll remove it.