Repair a mistyped IBAN

Almost every real failure is one of four things — a wrong character, a missing one, an extra one, or two neighbours swapped — and mod-97 is strong enough to identify the fix uniquely most of the time.