Fix literal percent in printf format string.