Good point, my friend. However, would it not be unprecedented for a director, in this case Donner, to receive a credit for a movie which was released 25 years ago and originally credited to another director, that being Richard Lester?
I promise I'm not being an ass, I'm just trying to see if there is a precedent here.