corejs.github.io: minor fix