Fixed filename in comments

Found this while giving the workshop with @dantleech :)