Correct filename for broccoli, and added fezfile