Also, differential miking. Only for the brave, but it’s a valid technique.
Also, overdubbing a vocal to fix a line or two in post is not out of the question. Of course you get that hole in the ambience and I wonder if feeding the band into a speaker while she’s overdubbing, or simulating the leakage with mix tricks could possibly help to allow a vocal repair line. Personally, I’ve never done it, just thinking outside the box here.