Fix the mistake in the kernel