Correct, and that is not the only place. It was a far too aggressive search+replaced. We have fixed those as we encounter them. Not sure it is worth a full-scale search and fix however.