fix printf format string