Paul Machliss is a film editor who has worked on a comic science fiction film directed by who?