Fixed bug in the product of kernels