Indeed it is. Mai, HiME. Dancing Princesses. Yeah.
Just starting the manga so maybe it will make more sense soon.
But then the anime came first, so... It's just a bizarre nonsensical change. It's not like they changed Mai's name too.
Hmm, I need to get back to watching Mai-Otome.