Jallerton, your approach results in some strange situations.... 1NT - 2NT (unintended, intended call was 2♠). Now south, because of the lack of alert on 2NT (which of course not should be alerted), finds out he actually bid 2NT and want to change. By doing absolutely nothing wrong, north has now denied south to change his unintended call. This means that in every situation where an unintended call is alerted where the intended call should not have been or the other way around we can't change according to 25A. So, shortly 25A applies only when both the unintended call and the intended is either natural or artificial. I can't find any support for that in the laws. I think that we should allow the change, we use 12A1 if necessary (perhaps even giving a split score where EW gets the score that would probably be if north bids over 3D, we give NS the actual score at the table), and we give north a PP. This way it is only north's comment that is punished, we do not as well punish south for making a misspull as we do if we also force him to bid 3♦. North's comment is the only infraction and we should look at that separately not mixing it with the misspull.