Bug 942424 - Fix broken comment format, fix "ﬁle"

Font used in the title doesn't help, but replacing replace ﬁle (3 character) with file (4 characters)