fix console-input.c