Bug fix in mscorlib.js