Fix kernel