corejs.github.io: minor