So is this the answer? I have wondered about this for some time. Did you find this info somewhere or just an educated guess?
That's simply my guess. It's the most noticeable difference between the two. I have no way to prove that it was redone so Spielberg got his own credit line, but I know that when it was redone that was the change that was made.