Fixing a bug in the kernel.