minor fix in string.format