correction templates of the kernel