Minor change to the kernel