Small change in the kernel, non-local version.