fix bug in format string