Fix kernel.