Fix literal percent in printf format string.

NB