fix seed for random kernels
(#555)