Minor printf pedantry

Don't use printf in a case where we are printing a string provided
by the caller of a library function, since we don't know where it's
been (and printf is a waste, since we don't support format args).