Sin embargo, se cambió el nombre a Miracleman, debido a la presión de Marvel Comics.