This is normal... if they migrate to a server that has that char name taken already then they are going to have to change it.