We are aware the situation with the duchy of Aragon. It hasn't been a priority to fix it lately, but I think there was talk a while ago to update the de jure territories of the area at some point. So it's most likely gonna be changed at the same time in that case. Otherwise I'll just have to poke The Witch-King about it and see what we'll do with it.