format string fixes for debug printf's