Minor edit to Core.js