Fixed a bug with one of the Console.getChar()-methods where it would
never return a value