I don’t see the issue with giving a three-match ban now. He should’ve been sent off at the time and would’ve been out for three matches. The error’s incredibly clear to see now, so correct it. Easy.
(Watch him get dropped for Olsen anyway, rendering this all academic)