The name Tom Baker is credited as a crew member at the end of the movie, as well as the name Lethbridge Stewart. Baker is one of the people who played the titular character in the BBC show Doctor Who and Stewart is a fictional character within that show. There wasn't anyone who worked on the movie by those two names and they were added to pad out the credits and were tributes to Doctor Who.