Okay, we all know that the Manders were the original members of Krokotopia. The Kroks came over and enslaved the Manders. So why is it called Krokotopia if the Manders were there first? Should'nt it be called Mandertopia? Yes, maybe the Kroks changed the name but the Manders also refer to it as Krokotopia. Even the librarian! So why is it call it Krokotopia?
The Krok's changed the name when they assumed control. They're still in control when your wizard comes along to change things. After you fix things for the Manders, the name stays the same, since it's been that way for a long time.