Fix issue #149: Find uses for String.format()