Here’s the thing: his wife actually didn't divorce her first husband. The annulment is completely valid, in my opinion.