Minor change in tty_printf(). It's still working of course