Small cleanups in System.Console.cs file