printf: fix format string