Bug 942424 - Fix broken comment format, replace "ﬁle" with "file"