More correct error message regarding kernels.