Looks a perfect ruling to me.

A dropped card is not a played card. As you say, it is usually a minor penalty card, so the revoke must be corrected, the

2 becomes a major penalty card. The only slight addition is that cards by the non-offending side after the revoke may be changed, so not only may the

7 be changed, so may the discard from dummy on the previous round.