looks like a side effect of a search&replace?