printf() eats newline, back to puts()