Fix some printf things.  Printf strings with no format specifiers are still broken…