Fix stupid mistake in kernel.