I don't think this is finished yet. The paper is very complex, and not completely checked yet. Other issues will possibly arise. That's part of any large maths proof.