Should 2 outs have been awarded ?

[nickrego]

Bases loaded, no outs.

Batter hits a grounder to F6.

R2 is hit by the ball in front of F6 in an attempt to jump over the ball.

My partner, on the bases, immediately kills play, and calls R2 out. R3 returns to 3rd, R1 advances to 2nd, and BR advances to 1st.

Afterwards, I started thinking that the interference broke up an easy Double-Play.

I checked the rule book, and unlike in other sections, it does not specifically state we can award a 2nd out, where a 2nd out may have been prevented by the infraction.

Did this get handled correctly ?