Does it taste different? He can name it what he wants. I have in the past when making tweaks.
During the hop shortage days, commercial brewers had to change up some of the hops used in their beers, as the usual hops were in short supply. The names did not change, as the worked to get the flavor as close as they could.