Fix test for bastardized kernels