fix code in the kernel