There is no guy named Allen Smithee... it's the name put in the credits when a movie director pulls his name off a film... usually because producers have changed stuff in a way the director hates...