Fixed bug in console.c