Scriptwriters kind of forgot there was no divorce so Tyrion is now (also) King in the