Minor correction in string.formatter