fix in the kernel code