Lo más probable es que sea verdad, ya que en España, por ley, las películas se deben emitir (en los cines) con el doblaje al español y si te fijas bien, tienes bastantes ejemplos en donde los españoles le cambian el nombre original a los personajes anglos por sus versiones en español (que quedan una verdadera mierda) Ej:
Wolverine = Glotón
Deadpool = Masacre
De seguro hay más ejemplos pero no se me viene a la mente ninguno más
Sabías que Luke Skywalker se iba a llamar en principio Luke Starkiller?