Fix printf() format string (one format string short).