Fixed bug in System.printName.

Obviously, I had not understood it before.