Fix kernel trouble