change ridiculous ﬁ characters to fi -- how did those get in there?