Correct kernel.js