Flight of the Navigator

Question: Paul Ruebens does the voice of Max but why in the credits does it say that the voice of Max was done by Paul Mall?

Chosen answer: According to IMDB, Paul Mall is just another one of his names people know him by.

Sir William