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.