I think what they ended up with was calling it a strike and the batter k'ed. Leaning into a pitch is considered a strike.