string formatting: fix zero-length printf format string
string formatting: fix too many arguments for format