Fix bug in Console.