Fixed console_print()/printf() issue