Minor changes in the kernel coding