[jfb]

Credits in movies are unbelievably Byzantine. But putting his name in the 'thanks' section at the end would be pretty neat.