fix for string.format()