Minor fixes for 'double' version of mandelbrot kernel